منابع مشابه
Determinacy and determinacy analysis
One attractive, unique feature of logic programming languages is their ability to succinctly and declaratively express search. The alternatives of a search can be speci ed by a set of clauses de ning the same predicate. By backtracking, considering in turn each of these clauses, the di erent alternatives are explored until a solution (if it exists) is found. However, though backtracking is esse...
متن کاملDeterminacy and ∆
Let D = {d n } be a countable collection of ∆ 1 3 degrees. Assuming that all co-analytic games on integers are determined (or equivalently that all reals have " sharps "), we prove that either D has a ∆ 1 3-minimal upper bound, or that for any n, and for every real r recursive in d n , games in the pointclasses ∆ 1 2 (r) are determined. This is proven using Core Model theory.
متن کاملWarrant and Objectivity
Wright’s Truth and Objectivity seeks to systematise a variety of anti-realist positions. I argue that many objections to the system are avoided by transposing its talk of truth into talk of warrant. However, a problem remains about debates involving ‘direction-of-fit’. Dummett introduced ‘anti-realism’ as a philosophical view informed by mathematical intuitionism. Subsequently, the term has bee...
متن کاملPublishing, Objectivity, and Prestige
Disseminating scientific knowledge and teaching responsible conduct to people involved in research and scientific activities is a prerequisite for the efficiency and integrity of scientific information (16). However, one important challenge scientists face today is conveying scientific information to the public clearly and directly (3). Another challenge is related to peer-review biases (11, 12...
متن کاملLarge Cardinals and Determinacy
The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis of the standard system of mathematics, ZFC. This is true of statements from areas as diverse as analysis (“Are all projective sets Lebesgue measurable?”), cardinal arithmetic (“Does Cantor’s Continuum Hypothesis hold?”), combinatorics (“Does Su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: University of Pennsylvania Law Review
سال: 1993
ISSN: 0041-9907
DOI: 10.2307/3312546